After all, the automated database is only as good as the information the judges feed into it.
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.
Tableau is business intelligence software that allows anyone to easily connect to data, then visualize and create interactive, sharable dashboards. It's easy enough that any Excel user can learn it, but powerful enough to satisfy even the most complex analytical problems.