what is tableaux
Analytic tableaux (also, semantic tableau, or truth tree), a technique of automated theorem proving in logic. Tableau, another term for a table of data, particularly: Cryptographic tableau, or tabula recta, used in manual cipher systems. Division tableau, a table used to do long division.