Added 'closed' to semantic tableaux keywords