Is Lawvere-Tierney complete?

Has anyone proved that the elementary topos axioms are complete for the first-order properties (in the language of categories) of Grothendieck toposes? --Todd Wilson