Hola Nicolás:
Si querés probar una consecuencia loǵica usando tableau, tenés que comenzar con la raíz del árbol con todas las hipótesis en V y la conclusión en F. Lo que se trata de probar es que la consecuencia no se cumple.
Si todas las ramas terminan en falla quiere decir que no es posible encontrar una valuación que haga falsa la consecuencia, por lo tanto se cumple la consecuencia.
Si al menos una rama es exitosa, la consecuencia no se cumple.
No es correcto darle V a la conclusión. De esa manera no se puede concluir la consecuencia lógica.