A complete tableau procedure for risk analysis