A Boolean topos is an elementary topos in which every subobject has a complement, equivalently its internal truth-value Heyting algebra satisfies excluded middle. Its internal first-order logic is classical. Being Boolean alone does not imply that it has enough set-valued points.
New to topics? Read the docs here!