On the theories classified by an étendue

We give a model-theoretic characterisation of the geometric theories classified by étendues – the `locally localic’ topoi. They are the theories where each model is determined, syntactically and semantically, by any witness of a fixed collection of formulae.