| Subject | English | Russian |
| math. | method of semantic tableaux | метод семантических таблиц |
| AI. | semantic tableaux | семантическая таблица (Alex_Odeychuk) |
| AI. | semantic tableaux | метод семантических таблиц (формальная разрешающая процедура для формул логики высказываний и логики предикатов, позволяющая синтаксическими средствами решать семантические проблемы формализованных исчислений Alex_Odeychuk) |