在计算机科学中，终止条件（termination predicate）是循环或递归能够停止所依赖的最终为真的判断表达式；若终止谓词在任何可达状态下都不成立，则为无限循环。