  We give a model-theoretic characterization of the class of geometric theories
classified by an atomic topos having enough points; in particular, we show that
every complete geometric theory classified by an atomic topos is countably
categorical. Some applications are also discussed.
