Derived completion in Noetherian constant case