Um Sistema de Tableaux Semântico Para a Lógica da Representação