Un restador completo es un circuito combinacional que realiza una sustracción entre dos bits considerando un préstamo inicial. Tiene tres entradas (minuendo, sustraendo, préstamo) y dos salidas (diferencia, salida tomada). Su diagrama a bloques muestra cómo considera el préstamo junto con los bits de entrada, y su tabla de verdad y circuito topológico definen su lógica interna.