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, which is a generalization of the result found in [1]: 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.

[1] Victor Harnik: "Model theory vs. categorical logic: two approaches to pretopos completion". In Bradd Hart et al., editor, Models, logics, and higher-dimensional categories: a tribute to the work of Mihaly Makkai, volume 53 of CRM Proceedings and Lecture Notes. American Mathematical Society, Providence, R.I., 2011.