Completion at A-Infinity monads