Counter examples in semantic tableaux