Added closure checking for tableaux