Towards More Effective Tableaux Reasoning for CKR