Title: Completion Detection in Asynchronous Circuits