Adic reduction to the diagonal and a relation between cofiniteness and derived completion