The tableau method can also determine the satisfiability of finite sets of formulas of various logics.
In mathematical logic, satisfiability and validity are elementary concepts of semantics.
