Definition of semantic consequence in English:

semantic consequence

noun

Logic
  • The relationship by which a sentence must be true whenever every member of a given set of sentences is true; logical consequence conceived semantically, as in model theory, rather than syntactically, as in proof theory; (also) a sentence which must be true whenever every member of a given set of sentences is true; contrasted with syntactic consequence.

Origin

1960s.