Tableau systems for reasoning about risk