A Federated Tableau Algorithm for F-ALCI