The semantic definition states that a theory is consistent if it has a model; this is the sense used in traditional Aristotelian logic, although in contemporary mathematical logic the term satisfiable is used instead.
A theory is consistent. This is what the semantic definition states. It has a model. This is the sense. This sense is used in traditional Aristotelian logic. The term satisfiable is used instead. This was in contemporary mathematical logic.