1. The property of a valid argument with true premisses.
2. The property of a consequence relation, specified by rules of proof, such that every consequence it delivers is a semantic consequence.
Philosophy
Of an argument, the property of being valid and having all true premises. Logical systems are sound if every theorem is valid, that is, true in all interpretations.