Completed tensor product