Back Baumkalkül German Method of analytic tableaux English Árbol semántico Spanish Méthode des tableaux French タブローの方法 Japanese Tableau (system dowodzenia twierdzeń) Polish Método dos Tableaux Analíticos Portuguese
Een semantisch tableau is een grafische weergave van een manier om in de logica op systematische wijze het gedrag van een logische stelling of formule te onderzoeken. Semantische tableaus worden vooral gebruikt om te onderzoeken of een stelling volgt uit een reeks andere stellingen, dat wil zeggen of een stelling waar is, gegeven dat een aantal andere stellingen waar zijn. Het semantisch tableau is een schepping van de Nederlandse logicus Evert Willem Beth.[1]