Completion Detection in Asynchronous Circuits