Semantic consequence in logic refers to the relationship between a set of premises and a conclusion, where the conclusion is true in every model that makes the premises true. It is a fundamental concept in formal semantics and is crucial for understanding logical entailment and inference in both propositional and predicate logic.