In general, a theory is called proper if every sort is nonempty (in every model) and there is a sort which has (in every model) at least two elements. Then we have the following theorem: if $\mathbb{T}$ is any proper theory, the syntactic category of $\mathbb{T}^{eq}$ is a pretopos. This is a consequence of the following (non trivial) theorem: call a coherent category proper if every object is a subobject of a nonempty one and if there is a decidable object $D$ such that $D$ and $\neg D$ are nonempty, where $\neg D$ is the complement of the diagonal $\Delta: D \to D \times D$. Then the theorem says that any proper coherent exact category is a pretopos.

In the case of a classical first-order theory, whose models have at least two elements, the syntactic category of $\mathbb{T}^{eq}$ is an exact coherent category, and it will be proper, since $\mathbb{T}$ is. Hence, it is a pretopos and thus it has disjoint coproducts. In fact, for a proper coherent category, the exact completion and the coproduct completion are equivalent.