semantic tableau
n 1. (Logic) a method of demonstrating the consistency or otherwise of a set of statements by constructing a diagrammatic representation of all the circumstances that satisfy the set of statements
2. (Logic) the diagram so constructed
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014