# Definition:Tableau Proof (Formal Systems)/Technical Note

Jump to navigation Jump to search

## Technical Note on Tableau Proof (Formal Systems)

When constructing a tableau proof, use the {{BeginTableau}} template to start it:

{{BeginTableau|statement|proof system}}

where:

statement is the statement of logic that is to be proved, without the $...$ delimiters
proof system is a link (optional) to page containing the specific proof system in which this proof is valid.

At the end of the proof, use the {{EndTableau}} template:

{{EndTableau}}